Formal specification - PDFSEARCH.IO - Document Search Engine

Formal specification
Results: 233

#	Item
221	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-06-01 14:01:26 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
222	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
223	Practical Limits On Software Dependability: A Case Study Patrick J. Graydon, John C. Knight, and Xiang Yin Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2010-03-18 12:19:03 Formal methods Software testing Software quality Systems engineering Software verification SPARK Formal verification Functional specification Requirement Software development Computing Software engineering
224	SET Secure Electronic Transaction Specification Book 3: Formal Protocol Definition Add to Reading List Source URL: www.maithean.com Language: English - Date: 2005-01-16 19:31:16 Digital signature X.509 Secure Electronic Transaction Cryptography standards RSA Optimal asymmetric encryption padding Cryptlib Network Security Services Cryptography Public-key cryptography PKCS
225	Specifications by Eric Evans and Martin Fowler Add to Reading List Source URL: martinfowler.com Language: English - Date: 2013-11-04 02:51:04 Standards Software engineering Quality Specification Formal specification Software development process C Sharp XAM Computing Formal methods Technical communication
226	Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future Add to Reading List Source URL: www.umsec.umn.edu Language: English - Date: 2008-08-19 15:56:59 Systems theory Systems science Formal sciences Control engineering Control theory Software development process Software development methodology Control system Model Science Software development Systems engineering
227	Part 0: Guidance PSLX Engineering Specification Add to Reading List Source URL: www.pslx.org Language: English - Date: 2004-12-30 09:43:36 Quality Specification Formal specification Technology Evaluation Management Standards Technical communication Product development
228	REPORT 1 A DESCRIPTION AND COMPARISON OF NATIONAL SPECIFICATION SYSTEMS Add to Reading List Source URL: www.icis.org Language: English - Date: 2004-12-22 11:28:23 Technology Visual arts Technical communication Digital press Specification MasterSpec Construction Specifications Institute Formal specification Portable Document Format Construction Architecture Formal methods
229	1 JavaMailTM API Add to Reading List Source URL: www.oracle.com Language: English Email Javamail Cross-platform software Application programming interface Technology Compatibility Kit Java Formal specification Specification Computing Java platform Technical communication
230	PDF Document Add to Reading List Source URL: www.bcs.org Language: English - Date: 2011-01-10 14:17:10 Applied mathematics Logic in computer science Formal verification BCS-FACS Model checking Communicating sequential processes Formal specification Abstraction Steve Reeves Formal methods Theoretical computer science Computing

UPDATE